1. $i_{2}$ : $\mathbb{Z}$
\\[0ex]2. $j_{2}$ : $\mathbb{Z}$
\\[0ex]3. $i_{2}$ $\leq$ $j_{2}$
\\[0ex]4. $j_{1}$ : $\mathbb{Z}$
\\[0ex]5. 0 $\leq$ $j_{1}$
\\[0ex]$\vdash$  (0+$i_{2}$) $\leq$ ($j_{1}$+$j_{2}$)